$\forall$$i$:Id, $w$:World, $p$:FairFifo, $t$:$\mathbb{N}$.
\\[0ex]($\neg$($\uparrow$isnull(a($i$;$t$)))) $\Rightarrow$ (valtype($<$$i$, $t$$>$) $\sim$ valtype($i$;a($i$;$t$)))